Fix 64-bit build.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/common/sched_sedf.c b/xen/common/sched_sedf.c
index 87f9f6ab004df831694a278131fe04481f2b260f..2fa363ba24a57aec2a0962d3aaf5f1c17e1fd3f9 100644 (file)
--- a/xen/common/sched_sedf.c
+++ b/xen/common/sched_sedf.c
@@ -586,7 +586,8 @@ static void update_queues(
                     DIV_UP(now - curinf->deadl_abs,
                            curinf->period) * curinf->period;
             if (unlikely(curinf->deadl_abs < now))
-                printk("Fatal scheduler error: %lld %lld %lld diff=%lld\n",
+                printk("Fatal scheduler error: %"PRIu64" %"PRIu64" %"PRIu64
+                       " diff=%"PRIu64"\n",
                        curinf->deadl_abs, now, curinf->period,
                        now - curinf->deadl_abs);
             ASSERT(curinf->deadl_abs >= now);